COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00005 00003	.LTR(Public Relations Department)
C00008 ENDMK
C⊗;
.DEVICE XGP
.page frame 49 high 80 wide
.title area heading lines 1 to 3
.area text lines 4 to 49

.FONT 1 "BASL30"; FONT 2 "BASI30"; FONT 3 "BASB30"; FONT 5 "NGB25"
.FONT 6 "STA200.FNT[XGP,SYS]"
.TURN ON "%{α"
.ODDLEFTBORDER ← EVENLEFTBORDER ← 1000
.AT "ffi" ⊂ IF THISFONT ≤ 3 THEN "≠"  ELSE "fαfαi" ⊃;
.AT "ffl" ⊂ IF THISFONT ≤ 3 THEN "α∞" ELSE "fαfαl" ⊃;
.AT "ff"  ⊂ IF THISFONT ≤ 3 THEN "≥"  ELSE "fαf" ⊃;
.AT "fi"  ⊂ IF THISFONT ≤ 3 THEN "α≡" ELSE "fαi" ⊃;
.AT "fl"  ⊂ IF THISFONT ≤ 3 THEN "∨"  ELSE "fαl" ⊃;

.MACRO FAC ⊂FILL ADJUST COMPACT ⊃
.MACRO FAD ⊂FILL ADJUST COMPACT DOUBLE SPACE; PREFACE 2 ⊃

.MACRO LTR(name,dat)  ⊂
.place HEADING
.nofill
.BEGIN
.TURN ON "-←→∂↑↓&[]";
%6S%5 Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305
.end
.PLACE TEXT;
.SELECT 5; if length ("dat") > 2 then date←"dat";
.once turn on "→"
%5Telephone 415-497-1391→{date}
or  415-497-4971
.SKIP 3; SELECT 1
name
.EVERY HEADING("%3NAME, {date}",,Page {Page})
.⊃

.MACRO AIADDRESS ⊂GROUP BEGIN SKIP 1; NOFILL
	Douglas B. Lenat
	Artificial Intelligence Laboratory
	Stanford University
	Stanford, California  94305
.END APART ⊃

.MACRO DBL ⊂ GROUP BEGIN SKIP 2; NOFILL  CENTER
Sincerely,
.SKIP 5
Douglas B. Lenat
.END APART ⊃

.portion main
.page←1
.LTR(Public Relations Department)
Institut de Recherche d'Informatique
Domaine de Volceau
78150 Le Chesnay, France
.FAD
Dear Sirs,

	I was happy to hear of your acceptance of my paper,
%2Synthesis of Large Programs From Specific Dialogues%*,
for the 
International Symposium on Proving and Improving Programs.

	Here at SAIL (Stanford Artificial Intelligence Laboratory) I have access
to an XGP (Xerox Graphics Printer), capable of printing my paper with all necessary
fonts, margins, line-fillings, etc.  Since my paper is stored as a file on our
system, it can be XGP'ed directly. I feel that it would be a great waste of human
effort to require a secretary (or myself) to type the paper onto the forms you sent
me. I %2can%* cause the XGP to print on paper of the same height as your forms,
though the width of the XGP
paper is limited to 22 cm.  
I trust that this will prove acceptable to you; if not, please
let me know immediately, so I may arrange for the hand typing of the paper.
Thank you for your consideration.

.DBL